<html>
<head><meta charset="utf-8"><title>meeting 2019.11.12 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html">meeting 2019.11.12</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="180498958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180498958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180498958">(Nov 12 2019 at 09:54)</a>:</h4>
<p>(another reminder that I’ll be traveling back today and will miss the meeting tonight)</p>



<a name="180529146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529146">(Nov 12 2019 at 15:41)</a>:</h4>
<p>Should we just cancel it today, <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span>? </p>
<p>The main thing I would like to do is to block out some meeting times on my calendar for next week, if we're going to do this Polonius hack-a-thon thing. I can send out some meeting invites in any case.</p>



<a name="180529509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529509">(Nov 12 2019 at 15:45)</a>:</h4>
<p>That was my main expectation as well, and I guess we could schedule async</p>



<a name="180529622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529622">(Nov 12 2019 at 15:46)</a>:</h4>
<p>skimming our last meeting I see</p>
<ul>
<li>move errors</li>
<li>subset errors</li>
<li>deep dive into equality rules</li>
</ul>
<p>as three topics to start from?</p>



<a name="180529628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529628">(Nov 12 2019 at 15:46)</a>:</h4>
<p>something else I might like to do</p>



<a name="180529670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529670">(Nov 12 2019 at 15:46)</a>:</h4>
<p>is to review the work that <span class="user-mention" data-user-id="116113">@lqd</span> has done on the datalog compiler and whether we can adopt that to help make iteration faster, as well as what we can do to simplify the current set of analyses</p>



<a name="180529702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529702">(Nov 12 2019 at 15:47)</a>:</h4>
<p>I will strongly prefer not Monday and not Thursday, as I have to be TAing at least intermittently at a lab during 13-17 local time</p>



<a name="180529764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180529764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180529764">(Nov 12 2019 at 15:47)</a>:</h4>
<p>The other days I can take vacation if I need to (I still haven't talked to my PhD supervisor about this)</p>



<a name="180530914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180530914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180530914">(Nov 12 2019 at 15:57)</a>:</h4>
<p>OK</p>



<a name="180554544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180554544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180554544">(Nov 12 2019 at 19:55)</a>:</h4>
<p>So looking at my own schedule</p>



<a name="180555419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180555419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180555419">(Nov 12 2019 at 20:04)</a>:</h4>
<ul>
<li>Monday 10am - 13:00</li>
<li>Tuesday -- I have to carve out some time, but morning is probably do-able</li>
<li>Wednesday 9am - 13:00 should be good</li>
<li>Thusday -- compiler meeting at 10am, but I can carve out some time otherwise</li>
<li>Friday morning -- planning meeting at 10am, but otherwise pretty open</li>
</ul>



<a name="180558530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180558530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180558530">(Nov 12 2019 at 20:34)</a>:</h4>
<p>I propose then that on Monday <span class="user-mention" data-user-id="116113">@lqd</span> and I can talk about subset errors and placeholder loans</p>



<a name="180606988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180606988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180606988">(Nov 13 2019 at 09:38)</a>:</h4>
<p>sounds good to me :)</p>



<a name="180609186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180609186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180609186">(Nov 13 2019 at 10:03)</a>:</h4>
<p>(you may have seen the WIP PR for placeholder loans already ?)</p>



<a name="180633662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180633662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180633662">(Nov 13 2019 at 14:56)</a>:</h4>
<p>I didn't, but I should take a look; also <span class="user-mention" data-user-id="116113">@lqd</span> <a href="#narrow/stream/144729-wg-traits/topic/unification.20under.20binders" title="#narrow/stream/144729-wg-traits/topic/unification.20under.20binders">this thread</a> from <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a> might interest you</p>



<a name="180633849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180633849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180633849">(Nov 13 2019 at 14:58)</a>:</h4>
<p>yeah I read it earlier and was indeed interested :)</p>



<a name="180633918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180633918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180633918">(Nov 13 2019 at 14:59)</a>:</h4>
<p>maybe if we can bang out e.g. placeholder loans quickly, we can talk about _those_ higher-ranked subtyping requirements a bit more</p>



<a name="180634488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180634488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180634488">(Nov 13 2019 at 15:03)</a>:</h4>
<p>(I'd surely need to brush up on chalk by then -- as it's been a long time since I contributed to it -- among other things, like the <a href="https://github.com/nikomatsakis/teyjus-rust-region-solver" target="_blank" title="https://github.com/nikomatsakis/teyjus-rust-region-solver">https://github.com/nikomatsakis/teyjus-rust-region-solver</a> prototype, and surely learn a lot more about everything, but I would love to help out for this wherever I can)</p>



<a name="180661119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180661119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180661119">(Nov 13 2019 at 19:15)</a>:</h4>
<p>I was sort of imagining we might use some of the "polonius" time to explore that idea on chalk -- I may try to do some pre-hacking around that</p>



<a name="180661128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.12/near/180661128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E12.html#180661128">(Nov 13 2019 at 19:15)</a>:</h4>
<p>I'll also check out your PR</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>